Position and momentum spaces

 ( Momentum ) 

In physics and geometry, there are two closely related , usually three-dimensional but in general of any finite dimension. Position space (also real space or coordinate space) is the set of all r in Euclidean space, and has dimensions of length; a position vector defines a point in space. (If the position vector of a point particle varies with time, it will trace out a path, the trajectory of a particle.) Momentum space is the set of all p a physical system can have; the momentum vector of a particle corresponds to its motion, with dimension of masslengthtime⁻¹.

Mathematically, the duality between position and momentum is an example of Pontryagin duality. In particular, if a function is given in position space, f( r), then its Fourier transform obtains the function in momentum space, φ( p). Conversely, the inverse Fourier transform of a momentum space function is a position space function.

These quantities and ideas transcend all of classical and quantum physics, and a physical system can be described using either the positions of the constituent particles, or their momenta, both formulations equivalently provide the same information about the system in consideration. Another quantity is useful to define in the context of . The wave vector k (or simply " k-vector") has dimensions of reciprocal length, making it an analogue of angular frequency ω which has dimensions of reciprocal time. The set of all wave vectors is k-space. Usually, the position vector r is more intuitive and simpler than the wave vector k, though the converse can also be true, such as in solid-state physics.

Quantum mechanics provides two fundamental examples of the duality between position and momentum, the Heisenberg uncertainty principle Δ xΔ p ≥ ħ/2 stating that position and momentum cannot be simultaneously known to arbitrary precision, and the de Broglie relation p = ħ k which states the momentum and wavevector of a free particle are proportional to each other. In this context, when it is unambiguous, the terms "momentum" and "wavevector" are used interchangeably. However, the de Broglie relation is not true in a crystal.

---

Classical mechanics

---

Lagrangian mechanics Most often in Lagrangian mechanics, the Lagrangian L( q, d q/ dt, t) is in configuration space, where q = ( q₁, q₂,..., q_n) is an n-tuple of the generalized coordinates. The Euler–Lagrange equations of motion are $$\backslash frac\{d\}\{dt\}\backslash frac\{\backslash partial\; L\}\{\backslash partial\; \backslash dot\{q\}\_i\}\; =\; \backslash frac\{\backslash partial\; L\}\{\backslash partial\; q\_i\}\; \backslash ,,\backslash quad\; \backslash dot\{q\}\_i\; \backslash equiv\; \backslash frac\{dq\_i\}\{dt\}\backslash ,.$$

(One overdot indicates one time derivative). Introducing the definition of canonical momentum for each generalized coordinate $$p\_i\; =\; \backslash frac\{\backslash partial\; L\}\{\backslash partial\; \backslash dot\{q\}\_i\}\; \backslash ,,$$ the Euler–Lagrange equations take the form $$\backslash dot\{p\}\_i\; =\; \backslash frac\{\backslash partial\; L\}\{\backslash partial\; q\_i\}\; \backslash ,.$$

The Lagrangian can be expressed in momentum space also,

L′( p, d p/ dt, t), where p = ( p₁, p₂, ..., p_n) is an n-tuple of the generalized momenta. A Legendre transformation is performed to change the variables in the total differential of the generalized coordinate space Lagrangian; $$dL\; =\; \backslash sum\_\{i=1\}^n\; \backslash left(\backslash frac\{\backslash partial\; L\; \}\{\backslash partial\; q\_i\}dq\_i\; +\; \backslash frac\{\backslash partial\; L\; \}\{\backslash partial\; \backslash dot\{q\}\_i\}d\backslash dot\{q\}\_i\backslash right)\; +\; \backslash frac\{\backslash partial\; L\; \}\{\backslash partial\; t\}dt\; =\; \backslash sum\_\{i=1\}^n\; (\backslash dot\{p\}\_i\; dq\_i\; +\; p\_i\; d\backslash dot\{q\}\_i\; )\; +\; \backslash frac\{\backslash partial\; L\; \}\{\backslash partial\; t\}dt\; \backslash ,,$$ where the definition of generalized momentum and Euler–Lagrange equations have replaced the partial derivatives of L. The product rule for differentialsFor two functions and , the differential of the product is . allows the exchange of differentials in the generalized coordinates and velocities for the differentials in generalized momenta and their time derivatives, $$\backslash dot\{p\}\_i\; dq\_i\; =\; d(q\_i\backslash dot\{p\}\_i)\; -\; q\_i\; d\backslash dot\{p\}\_i$$ $$p\_i\; d\backslash dot\{q\}\_i\; =\; d(\backslash dot\{q\}\_i\; p\_i)\; -\; \backslash dot\{q\}\_i\; d\; p\_i$$ which after substitution simplifies and rearranges to $$d\backslash leftL\; =\; -\backslash sum\_\{i=1\}^n\; (\backslash dot\{q\}\_i\; d\; p\_i\; +\; q\_i\; d\backslash dot\{p\}\_i\; )\; +\; \backslash frac\{\backslash partial\; L\; \}\{\backslash partial\; t\}dt\; \backslash ,.$$

Now, the total differential of the momentum space Lagrangian L′ is $$dL\text{'}\; =\; \backslash sum\_\{i=1\}^n\; \backslash left(\backslash frac\{\backslash partial\; L\text{'}\}\{\backslash partial\; p\_i\}dp\_i\; +\; \backslash frac\{\backslash partial\; L\text{'}\}\{\backslash partial\; \backslash dot\{p\}\_i\}d\backslash dot\{p\}\_i\backslash right)\; +\; \backslash frac\{\backslash partial\; L\text{'}\; \}\{\backslash partial\; t\}dt$$ so by comparison of differentials of the Lagrangians, the momenta, and their time derivatives, the momentum space Lagrangian L′ and the generalized coordinates derived from L′ are respectively $$L\text{'}\; =\; L\; -\; \backslash sum\_\{i=1\}^n(q\_i\backslash dot\{p\}\_i\; +\; \backslash dot\{q\}\_i\; p\_i)\backslash ,,\backslash quad\; -\backslash dot\{q\}\_i\; =\; \backslash frac\{\backslash partial\; L\text{'}\}\{\backslash partial\; p\_i\}\backslash ,,\backslash quad\; -q\_i\; =\; \backslash frac\{\backslash partial\; L\text{'}\}\{\backslash partial\; \backslash dot\{p\}\_i\}\; \backslash ,.$$

Combining the last two equations gives the momentum space Euler–Lagrange equations $$\backslash frac\{d\}\{dt\}\backslash frac\{\backslash partial\; L\text{'}\}\{\backslash partial\; \backslash dot\{p\}\_i\}\; =\; \backslash frac\{\backslash partial\; L\text{'}\}\{\backslash partial\; p\_i\}\; \backslash ,.$$

The advantage of the Legendre transformation is that the relation between the new and old functions and their variables are obtained in the process. Both the coordinate and momentum forms of the equation are equivalent and contain the same information about the dynamics of the system. This form may be more useful when momentum or angular momentum enters the Lagrangian.

---

Hamiltonian mechanics In Hamiltonian mechanics, unlike Lagrangian mechanics which uses either all the coordinates or the momenta, the Hamiltonian equations of motion place coordinates and momenta on equal footing. For a system with Hamiltonian H( q, p, t), the equations are $$\backslash dot\{q\}\_i\; =\; \backslash frac\{\backslash partial\; H\}\{\backslash partial\; p\_i\}\; \backslash ,,\backslash quad\; \backslash dot\{p\}\_i\; =\; -\; \backslash frac\{\backslash partial\; H\}\{\backslash partial\; q\_i\}\; \backslash ,.$$

---

Quantum mechanics In quantum mechanics, a particle is described by a quantum state. This quantum state can be represented as a superposition of basis states. In principle one is free to choose the set of basis states, as long as they linear span the state space. If one chooses the (generalized) eigenfunctions of the position operator as a set of basis functions, one speaks of a state as a wave function in position space. The familiar Schrödinger equation in terms of the position r is an example of quantum mechanics in the position representation.

(2025). 9780071623582, McGraw Hill. ISBN 9780071623582

By choosing the eigenfunctions of a different operator as a set of basis functions, one can arrive at a number of different representations of the same state. If one picks the eigenfunctions of the momentum operator as a set of basis functions, the resulting wave function $\backslash phi(\backslash mathbf\{k\})$ is said to be the wave function in momentum space.

A feature of quantum mechanics is that phase spaces can come in different types: discrete-variable, rotor, and continuous-variable. The table below summarizes some relations involved in the three types of phase spaces.

---

Reciprocal relation The momentum representation of a wave function and the de Broglie relation are closely related to the Fourier inversion theorem and the concept of frequency domain. Since a free particle has a spatial frequency $k\; =\; |\backslash mathbf\{k\}|=\; 2\backslash pi/\backslash lambda$ proportional to the momentum $p=|\backslash mathbf\{p\}|=\backslash hbar\; k$, describing the particle as a sum of frequency components is equivalent to describing it as the Fourier transform of a "sufficiently nice" wave function in momentum space.

---

Position space Suppose we have a three-dimensional wave function in position space , then we can write this functions as a weighted sum of orthogonal basis functions : $$\backslash psi(\backslash mathbf\{r\})=\backslash sum\_j\; \backslash phi\_j\; \backslash psi\_j(\backslash mathbf\{r\})$$ or, in the continuous case, as an integral $$\backslash psi(\backslash mathbf\{r\})=\backslash int\_\{\backslash mathbf\{k\}\backslash text\{-space\}\}\; \backslash phi(\backslash mathbf\{k\})\; \backslash psi\_\{\backslash mathbf\{k\}\}(\backslash mathbf\{r\})\; \backslash mathrm\; d^3\backslash mathbf\{k\}$$ It is clear that if we specify the set of functions $\backslash psi\_\{\backslash mathbf\{k\}\}(\backslash mathbf\{r\})$, say as the set of eigenfunctions of the momentum operator, the function $\backslash phi(\backslash mathbf\{k\})$ holds all the information necessary to reconstruct and is therefore an alternative description for the state $\backslash psi$.

In coordinate representation the momentum operator is given by $$\backslash mathbf\{\backslash hat\; p\}\; =\; -i\; \backslash hbar\backslash frac\{\backslash partial\}\{\backslash partial\; \backslash mathbf\{r\}\}$$ (see matrix calculus for the denominator notation) with appropriate domain. The are $$\backslash psi\_\{\backslash mathbf\{k\}\}(\backslash mathbf\{r\})=\backslash frac\{1\}\{(\backslash sqrt\{2\backslash pi\})^3\}\; e^\{i\; \backslash mathbf\{k\}\backslash cdot\backslash mathbf\{r\}\}$$ and eigenvalues ħ k. So $$\backslash psi(\backslash mathbf\{r\})=\backslash frac\{1\}\{(\backslash sqrt\{2\backslash pi\})^3\}\; \backslash int\_\{\backslash mathbf\{k\}\backslash text\{-space\}\}\; \backslash phi(\backslash mathbf\{k\})\; e^\{i\; \backslash mathbf\{k\}\backslash cdot\backslash mathbf\{r\}\}\; \backslash mathrm\; d^3\backslash mathbf\{k\}$$ and we see that the momentum representation is related to the position representation by a Fourier transform.

---

Momentum space Conversely, a three-dimensional wave function in momentum space $\backslash phi(\backslash mathbf\{k\})$ can be expressed as a weighted sum of orthogonal basis functions $\backslash phi\_j(\backslash mathbf\{k\})$, $$\backslash phi(\backslash mathbf\{k\})\; =\; \backslash sum\_j\; \backslash psi\_j\; \backslash phi\_j(\backslash mathbf\{k\}),$$ or as an integral, $$\backslash phi(\backslash mathbf\{k\})\; =\; \backslash int\_\{\backslash mathbf\{r\}\backslash text\{-space\}\}\; \backslash psi(\backslash mathbf\{r\})\; \backslash phi\_\{\backslash mathbf\{r\}\}(\backslash mathbf\{k\})\; \backslash mathrm\; d^3\backslash mathbf\{r\}.$$

In momentum representation the position operator is given by $$\backslash mathbf\{\backslash hat\; r\}\; =\; i\; \backslash hbar\backslash frac\{\backslash partial\}\{\backslash partial\; \backslash mathbf\; p\}\; =\; i\backslash frac\{\backslash partial\}\{\backslash partial\; \backslash mathbf\{k\}\}$$ with eigenfunctions $$\backslash phi\_\{\backslash mathbf\{r\}\}(\backslash mathbf\{k\})\; =\; \backslash frac\{1\}\{\backslash left(\backslash sqrt\{2\backslash pi\}\backslash right)^3\}\; e^\{-i\; \backslash mathbf\{k\}\backslash cdot\backslash mathbf\{r\}\}$$ and eigenvalues r. So a similar decomposition of $\backslash phi(\backslash mathbf\{k\})$ can be made in terms of the eigenfunctions of this operator, which turns out to be the inverse Fourier transform, $$\backslash phi(\backslash mathbf\{k\})=\backslash frac\{1\}\{(\backslash sqrt\{2\backslash pi\})^3\}\; \backslash int\_\{\backslash mathbf\{r\}\backslash text\{-space\}\}\; \backslash psi(\backslash mathbf\{r\})\; e^\{-i\; \backslash mathbf\{k\}\backslash cdot\backslash mathbf\{r\}\}\; \backslash mathrm\; d^3\backslash mathbf\{r\}\; .$$

---

Unitary equivalence The position and momentum operators are unitarily equivalent, with the unitary operator being given explicitly by the Fourier transform, namely a quarter-cycle rotation in phase space, generated by the oscillator Hamiltonian. Thus, they have the same spectrum. In physical language, p acting on momentum space wave functions is the same as r acting on position space wave functions (under the image of the Fourier transform).

---

Reciprocal space and crystals For an electron (or other particle) in a crystal, its value of k relates almost always to its crystal momentum, not its normal momentum. Therefore, k and p are not simply proportional but play different roles. See k·p perturbation theory for an example. Crystal momentum is like a wave envelope that describes how the wave varies from one unit cell to the next, but does not give any information about how the wave varies within each unit cell.

When k relates to crystal momentum instead of true momentum, the concept of k-space is still meaningful and extremely useful, but it differs in several ways from the non-crystal k-space discussed above. For example, in a crystal's k-space, there is an infinite set of points called the reciprocal lattice which are "equivalent" to k = 0 (this is analogous to aliasing). Likewise, the "first Brillouin zone" is a finite volume of k-space, such that every possible k is "equivalent" to exactly one point in this region.

---

See also

• Phase space
• Reciprocal space
• Configuration space
• Fractional Fourier transform

---

Notes

• Leslie E Ballentine (1998). 9789810227074, WORLD SCIENTIFIC. ISBN 9789810227074
• (1985). 9780471873730, John Wiley & Sons. . ISBN 9780471873730
• B. C. Hall (2025). 9781461471158, Springer. ISBN 9781461471158

Post Comment